existencially quantified conjunction

Вычислительная техника: конъюнкция с квантором существования